Wyniki
-
An Algorithm for Finding Finite Axiomatization of Finite Intermediate Logics by Means of Jankov Formulas
Eugeniusz Tomaszewski
Bulletin of the Section of Logic , 31 /1 (2002) s. 1-6
Eugeniusz Tomaszewski
Bulletin of the Section of Logic
, 31
/1
(2002)
s. 1-6